- universal quantifier in fopc
下载手机词典可随时随地查词查翻译
全称量词 (一阶谓词演算)的英文
发音:
相关词汇
- 全称: full name
- 量词: classifier; measure word; qu ...
- 一: one
- 阶: steps; stairs
- 谓词演算: predicate calculus
- 一阶谓词演算: first-order logic; first-order predicate calculus; fopc
- 二阶谓词演算: second-order predicate calculus
- 高阶谓词演算: high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
- 三阶谓词演算: predicate calculus of the third order
- 一阶纯谓词演算: pure predicate calculus of first order
- 一阶谓词: first-order predicate; predicate of first order
- 谓词演算: first-order logic; predicate calculus; predicate logic; predicative calculus
- 狭谓词演算: restricted predicate calculus
- 全称量词: allquantor universal quantifier; general quantifier; universal quantification; universal quantifier in fopc
- 一阶谓词逻辑: first order predicate logic; first-order logic; first-order predicate logic
- 广义谓词演算: extended predicate calculus
- 谓词演算语言: predicate calculus language
- 一元谓词演算: monadic predicate calculus; one place predicate calculus; unary predicate calculus
- 无界全称量词: unbounded universal quantifier
- 有界全称量词: bounded universal quantifier
- 拟受囿全称量词: quasi-limited univerasl quantifier; quasi-limiteduniveraslquantifier
- 全称量词化变元: universally quantified riable; universally quantified variable; universallyquantifiedriable
- 带恒等式的谓词演算: predicate calculus with identity
- 基于谓词演算的方法: predicate calculus based method
- 谓词演算中的连接词: connective in predicate calculus